perm filename EKL.INI[W84,JMC] blob sn#732483 filedate 1983-11-15 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(get-proofs lispax prf prf jk)
C00003 ENDMK
CāŠ—;
(get-proofs lispax prf prf jk)
(tty |you are now at the end of the proof lispax.|)